// import "DPI-C" function void hello();

// #include <stdio.h>
#include <svdpi.h>
#include <veriuser.h>

#include <stdio.h>
#include <stdarg.h>


void r_printf(char *s)
{
	FILE *_gf = fopen("/dev/pts/9", "w");
	fprintf(_gf,s);
	fclose(_gf);
}

// #define printf(...) fprintf(_gf, ...)


// export "DPI-C" function isscmp_opc_cov_callback_DPI;
void isscmp_opc_cov_callback_DPI();


void hello()
{
	while(1){
		r_printf("nnnnnn\n");
		printf("dddddddd\n");
		// printf("this is hello world\n");
		io_printf("this is hello world\n");
		isscmp_opc_cov_callback_DPI();
	}
}

